OnG-closure
نویسندگان
چکیده
منابع مشابه
Concurrent Hyland-Ong games
We build a cartesian closed category, called Cho, based on event structures. It allows an interpretation of higher-order stateful concurrent programs that is refined and precise: on the one hand it is conservative with respect to standard Hyland-Ong games when interpreting purely functional programs as innocent strategies, while on the other hand it is much more expressive. The interpretation o...
متن کاملA note onG-preinvex functions
*Correspondence: [email protected] 1Department of Mathematics, Hanshan Normal University, Chaozhou, Guangdong 521041, China Full list of author information is available at the end of the article Abstract With the equivalent relationships between the G-generalized invexities and general invexities on the hand, we present two characterizations for G-preinvexity; we also discuss the relationships...
متن کاملrogressive Negotiation Ong istri Heterogeneous Cooperating Agents
Progressive negotiation is a strategy for resolving conflicts among distributed heterogeneous cooperating agents. This strategy aims at minimizing backtracking to previous solutions and provably ensures consistency of agents’ distributed solutions and convergence on a globallysatisfiable solution. The progressive negotiation strategy is enforced by a task-independent agent called Facilitator, w...
متن کامل?????? Partial Closure ????? ?? ????? ????? ? ??? ??? ?? ???????? ?? ????? ?????????
This article has no abstract.
متن کاملL Ong -run Trends in Labor Su P P Ly
The recent “benign” combination of strong output growth and low inflation has led to speculation that the potential growth rate of real GDP has increased. This paper exam ines trends in labor supply to see whether this source of GDP growth might have accelerated. Discussions of labor supply often focus on labor force p a rt i c i p ation. But other considerat i o ns—s u ch as the length of the ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Optimization Theory and Applications
سال: 1987
ISSN: 0022-3239,1573-2878
DOI: 10.1007/bf00939224